Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I
This two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Continue reading
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences A Reference Model Guided Approach for Common Challenges
This book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together ...
Continue reading
Towards Sustainable Society on Ubiquitous Networks : The 8th IFIP Conference on e-Business, e-Services, and e-Society (I3E 2008), September 24–16, 2008, Tokyo, Japan
The scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...
Continue reading
Urban Informatics
This book is the first to systematically introduce the principles of urban informatics and its application to every aspect ...
Continue reading
VR Technologies in Cultural Heritage
Tthis volume are organized in topical sections on data acquisition and modelling, visualization methods / audio, sensors ...
Continue reading
Web Reasoning and Rule Systems : Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings
This book address all current topics in Web reasoning and rule systems such as acquisition of rules and ontologies by knowledge ...
Continue reading
Wireless and Mobile Networking : IFIP Joint Conference on Mobile and Wireless Communications Networks (MWCN'2008) and Personal Wireless Communications (PWC'2008), Toulouse, France, September 30 – October 2, 2008
The scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...
Continue reading
